projects / project / odhcpd.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 6fbd70c) | patch
formal: fix workflow permissions
authorGeorge Sapkin <[email protected]>
Wed, 26 Nov 2025 13:33:30 +0000 (15:33 +0200)
committerÁlvaro Fernández Rojas <[email protected]>
Tue, 2 Dec 2025 13:45:58 +0000 (14:45 +0100)
commit63f040e88b122b6dcd17a8c48699de5169c863dd
treeb6e998e2c7738e2b1a937e2698fc02e0f1e31cb5tree | snapshot
parent6fbd70c0834279f5836585a90d7c957fbb23a7e5commit | diff
formal: fix workflow permissions

Fix formality check permissions that are needed to post optional
summaries back to the PR.

Link: openwrt/actions-shared-workflows#64
Signed-off-by: George Sapkin <[email protected]>
Link: https://github.com/openwrt/odhcpd/pull/325
Signed-off-by: Álvaro Fernández Rojas <[email protected]>
.github/workflows/formal.yml diff | blob | history
OpenWrt DHCP Server